fromY id :: b -> a